home *** CD-ROM | disk | FTP | other *** search
/ Personal Computer World 2009 February / PCWFEB09.iso / Software / Linux / Kubuntu 8.10 / kubuntu-8.10-desktop-i386.iso / casper / filesystem.squashfs / usr / share / soprano / rules / rdfs.rules < prev   
Text File  |  2007-08-10  |  2KB  |  30 lines
  1. #------------------------------------------------------------------
  2. # RDFS rule set v0.1.
  3. # This is a direct implementation of the RDFS closure rules.
  4. # It is based on the Jena RDFS ruleset but RDFS Axioms have been removed.
  5. # $Id: $
  6. #------------------------------------------------------------------
  7.  
  8. #------------------------------------------------------------------
  9. # RDFS Closure rules
  10. #------------------------------------------------------------------
  11.  
  12. # The following block extends over the Jena syntax by introducing SPARQL-style prefix definitions
  13. PREFIX rdf: <http://www.w3.org/1999/02/22-rdf-syntax-ns#>
  14. PREFIX rdfs: <http://www.w3.org/2000/01/rdf-schema#>
  15.  
  16. # This floowing rule is disable becasue 1. it is not very interesting and 2. Soprano does not support multiple effects in a rule
  17. #[rdf1and4: (?x ?p ?y) -> (?p rdf:type rdf:Property), (?x rdf:type rdfs:Resource), (?y rdf:type rdfs:Resource)]
  18.  
  19. [rdfs7b: (?a rdf:type rdfs:Class) -> (?a rdfs:subClassOf rdfs:Resource)] 
  20.  
  21. [rdfs2:  (?x ?p ?y), (?p rdfs:domain ?c) -> (?x rdf:type ?c)] 
  22. [rdfs3:  (?x ?p ?y), (?p rdfs:range ?c) -> (?y rdf:type ?c)] 
  23. [rdfs5a: (?a rdfs:subPropertyOf ?b), (?b rdfs:subPropertyOf ?c) -> (?a rdfs:subPropertyOf ?c)] 
  24. [rdfs5b: (?a rdf:type rdf:Property) -> (?a rdfs:subPropertyOf ?a)] 
  25. [rdfs6:  (?a ?p ?b), (?p rdfs:subPropertyOf ?q) -> (?a ?q ?b)] 
  26. [rdfs7:  (?a rdf:type rdfs:Class) -> (?a rdfs:subClassOf ?a)]
  27. [rdfs8:  (?a rdfs:subClassOf ?b), (?b rdfs:subClassOf ?c) -> (?a rdfs:subClassOf ?c)] 
  28. [rdfs9:  (?x rdfs:subClassOf ?y), (?a rdf:type ?x) -> (?a rdf:type ?y)] 
  29. [rdfs10: (?x rdf:type rdfs:ContainerMembershipProperty) -> (?x rdfs:subPropertyOf rdfs:member)] 
  30.